Feeds to Scour
SubscribedAll
Scoured 2572 posts in 59.8 ms
On LLMs in programming
blog.danieljanus.pl·1d·
Discuss: Lobsters, Hacker News
🧩programming
Preview
Report Post
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
arxiv.org·3d
⚙️Compilers
Preview
Report Post
Building an Interpreter in Rust: A Journey Through Lexical Analysis, Parsing, and Evaluation
dev.to·6d·
Discuss: DEV
🧩programming
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🎰Bytecode VMs
Preview
Report Post
How well do Large Language Models Recognize Instructional Moves? Establishing Baselines for Foundation Models in Educational Discourse
arxiv.org·3d
🧩programming
Preview
Report Post
Merge on workspaces as Hopf algebra Markov chain
arxiv.org·4d
⚙️Compilers
Preview
Report Post
Advent of Code 2025: Haskell Solution Reflections for all 12 Days
blog.jle.im·3d·
Discuss: Lobsters, Hacker News
🧩programming
Preview
Report Post
Diacritic Restoration for Low-Resource Indigenous Languages: Case Study with Bribri and Cook Islands M\=aori
arxiv.org·4d
⚙️Compilers
Preview
Report Post
FASTRIC: Prompt Specification Language for Verifiable LLM Interactions
arxiv.org·4d
🧩programming
Preview
Report Post
Test, Don't (Just) Verify
alperenkeles.com·4d·
Discuss: Hacker News, r/programming
🧩programming
Preview
Report Post
Counterfactual LLM-based Framework for Measuring Rhetorical Style
arxiv.org·3d
⚙️Compilers
Preview
Report Post
Inverse parentheses
kellett.im·6d·
Discuss: Lobsters, Hacker News, Hacker News
🧩programming
Preview
Report Post
Memory as Resonance: A Biomimetic Architecture for Infinite Context Memory on Ergodic Phonetic Manifolds
arxiv.org·3d
⚙️Compilers
Preview
Report Post
Derivates for Containers in Univalent Foundations
arxiv.org·5d
🧩programming
Preview
Report Post
Can LLMs Solve My Grandma's Riddle? Evaluating Multilingual Large Language Models on Reasoning Traditional Bangla Tricky Riddles
arxiv.org·3d
⚙️Compilers
Preview
Report Post
Toward Human-Centered AI-Assisted Terminology Work
arxiv.org·4d
⚙️Compilers
Preview
Report Post
Bridging Modalities and Transferring Knowledge: Enhanced Multimodal Understanding and Recognition
arxiv.org·3d
⚙️Compilers
Preview
Report Post
Interpolative Decoding: Exploring the Spectrum of Personality Traits in LLMs
arxiv.org·3d
⚙️Compilers
Preview
Report Post
GIMLET: Generalizable and Interpretable Model Learning through Embedded Thermodynamics
arxiv.org·3d
⚙️Compilers
Preview
Report Post
Observer, Not Player: Simulating Theory of Mind in LLMs through Game Observation
arxiv.org·4d
🧩programming
Preview
Report Post